Specification of Hardware Specific Parts
نویسندگان
چکیده
License: CC-BY-NC http://creativecommons.org/licenses/by-nc/4.0/legalcode Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. ABSTRACTION LAYER FOR IMPLEMENTATION OF EXTENSIONS IN PROGRAMMABLE NETWORKS
منابع مشابه
Formal Specification and Verification of Safety-Critical Software
This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. The first part describes the development of OCL spec...
متن کاملHardware, Software and Mechanical Cosimulation for Automotive Applications
The design of automotive systems requires the joint design of hardware, software and micro-mechanical components. In traditional design approaches the different parts are designed by separate groups and the integration of the overall system is made at the final stage. This scheme may induce extra delays and costs because of interfacing problems. This paper presents a new automotive system desig...
متن کاملParticle Swarm Optimization for HW/SW Partitioning
Embedded systems typically consist of application specific hardware parts and programmable parts, e.g. processors like DSPs, core processors or ASIPs. In comparison to the hardware parts, the software parts are much easier to develop and modify. Thus, software is less expensive in terms of costs and development time. Hardware, however, provides better performance. For this reason, a system desi...
متن کاملInvestigating the Effect of Virtual Reality Environment and Intelligent Control Panel on the Rehabilitation of Upper Limb
Introduction: Occupational therapy and performing specific motor activities are among the healing processes for injured people that should be followed by patients in need after the doctor’s prescription. The objective of this study was to evaluate the effect of using virtual reality environments and interacting with hardware designed for the treatment and rehabilitation of patients with upper l...
متن کاملInvestigating the Effect of Virtual Reality Environment and Intelligent Control Panel on the Rehabilitation of Upper Limb
Introduction: Occupational therapy and performing specific motor activities are among the healing processes for injured people that should be followed by patients in need after the doctor’s prescription. The objective of this study was to evaluate the effect of using virtual reality environments and interacting with hardware designed for the treatment and rehabilitation of patients with upper l...
متن کاملModel-Driven Specification and Analysis of Confidentiality in Component-Based Systems
Many software systems have to be designed and developed in a way that guarantees that specific information remains confidential with respect to considered adversaries. Such guarantees depend on the internal information flow inside individual components and the system architecture, e.g., the deployment on hardware nodes and properties of their communication links. Therefore, we propose a novel a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014